home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 11 / CU Amiga Magazine's Super CD-ROM 11 (1997)(EMAP Images)(GB)(Track 1 of 3)[!][issue 1997-06].iso / cucd / programming / oberonv4 / tool / analyzer.tool (.txt) next >
Oberon Text  |  1996-08-13  |  3KB  |  59 lines
  1. Syntax10.Scn.Fnt
  2. ParcElems
  3. Alloc
  4. Syntax10i.Scn.Fnt
  5. Syntax10b.Scn.Fnt
  6. Analyzer.Analyze *            Analyzer.Analyze */ituvxs    full analysis
  7. Analyzer.Analyze *\its        intermediate access, TB procs check, eval. seq.
  8. Analyzer.Analyze (("*" | "@") ["\" opt] | {name ["\" opt]} "~" | "^")
  9. Options (complementing each other):
  10. i    redeclaration of/use of/assignment to intermediate items 
  11. t     redefinition of or new definition of type bound procedures
  12. u    used before set for different scopes
  13. v    use of var parameters
  14. x    use/initialization of exported items
  15. s    evaluation sequence of function calls
  16. Analyzer.Analyze marks by default
  17. - all non-exported variables/constants/types/fields that are declared
  18.     but never used, used before being initialized (*), never initialized,
  19.     and initialized but never used.
  20. - non-exported [type-bound] procedures that are never called.
  21. - modules that are imported but never used.
  22. (*) For variables declared in a different scope, no warning is
  23. produced (see option \u, however).
  24. \i(ntermediate) additionally marks
  25. - items that are already declared in an outer scope.
  26. - the use of or assignment to intermediate items (e.g. local
  27.    variables/parameters declared in an outer scope).
  28. \t(ype bound procedures) additionally marks
  29. - the redefinition of type bound procedures.
  30. - the new definition of type bound procedures in an extended type.
  31. \u(sed) additionally marks
  32. - 'used before set' for variables declared in a different scope.
  33. \v(arpar) additionally marks
  34. - variables that are used as var parameters and are therefore not
  35.    ensured to be initialized.
  36. \x (eXported) additionally marks
  37. - exported items that are declared but not used by the module itself,
  38.    used before being initialized, never initialized, and initialized but never
  39.    used.
  40. \s (evaluation Sequence) additionally marks
  41. - calls of procedures with more than one parameter, where function
  42.    calls occur in the parameter list. The evaluation sequence of
  43.    parameters may affect the side effects of these functions.
  44. Add the following to your OberonErrors.Text.
  45. 3.5 Analyzer Warnings
  46. 900    never used
  47. 901    never set
  48. 902    used before set
  49. 903    set but never used
  50. 904    used as varpar, possibly not set
  51. 905    also declared in outer scope
  52. 906    access/assignment to intermediate
  53. 907    redefinition
  54. 908    new definition
  55. 909    statement after RETURN/EXIT
  56. 910    for loop variable set
  57. 911    implied type guard in record assignment
  58. 912    call might depend on evaluation sequence of params.
  59.